- clausal normal form
- 子句正规形，子句范式
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
clausal normal form
Look at other dictionaries:
Clausal normal form — The clausal normal form (or clause normal form, conjunctive normal form, CNF) of a logical formula is used in logic programming and many theorem proving systems. A formula in clause normal form is a set of clauses, interpreted as a conjunction. A … Wikipedia
Normal form — may refer to: Normal form (abstract rewriting) Normal form (databases) Normal form (game theory) Normal form (mathematics) In formal language theory: Beta normal form Chomsky normal form Greibach normal form Kuroda normal form Normal form… … Wikipedia
Conjunctive normal form — In Boolean logic, a formula is in conjunctive normal form (CNF) if it is a conjunction of clauses, where a clause is a disjunction of literals. As a normal form, it is useful in automated theorem proving. It is similar to the product of sums form … Wikipedia
List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… … Wikipedia
CNF — is a three letter acronym, and may refer to: Cornell NanoScale Facility Canadian Neutron Facility at the Canadian Neutron Beam Centre Canadian Nurses Foundation Carbon nanofibers Caribbean National Forest Cameroons National Federation Chomsky… … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
English grammar — is a body of rules (grammar) specifying how phrases and sentences are constructed in the English language. Accounts of English grammar tend to fall into two groups: the descriptivist , which describes the grammatical system of English; and the… … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Speech-Language Pathology in School Settings — Speech language pathology is a fast growing profession that, according to the Bureau of Labor Statistics, offers about 96,000 jobs in the United States alone. It relates to many educational disciplines such as communication sciences, linguistics … Wikipedia
